Helmut Schwichtenberg (eds.): د Z-Library په سایټ کښې پلټل

پوهې او کلتور ته وړیا لاسرسی.

Don't use scam websites

د فیلترونو نه استفاده وشوه

دقیق مطابقت والی

دقیق مطابقت والی

کتابونه (12)
مشهورترین
لیسټ
- لیسټ
- جدول

1

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

کال:

1993

ژبه:

english

فایل:

DJVU, 4.03 MB

0 / 0

english, 1993

2

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

کال:

1999

ژبه:

english

فایل:

PDF, 13.23 MB

0 / 0

english, 1999

3

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

کال:

1999

ژبه:

english

فایل:

DJVU, 4.02 MB

0 / 0

english, 1999

4

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

کال:

2001

ژبه:

english

فایل:

PDF, 2.52 MB

0 / 0

english, 2001

5

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

کال:

1993

ژبه:

english

فایل:

PDF, 15.90 MB

0 / 0

english, 1993

6

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

کال:

1997

ژبه:

english

فایل:

PDF, 12.55 MB

0 / 0

english, 1997

7

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

کال:

2001

ژبه:

english

فایل:

PDF, 1.73 MB

0 / 0

english, 2001

8

Proof and Computation

Proof and Computation

Springer-Verlag Berlin Heidelberg

Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)

کال:

1995

ژبه:

english

فایل:

PDF, 33.16 MB

0 / 0

english, 1995

9

Proof and System-Reliability

Proof and System-Reliability

Springer Netherlands

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)

کال:

2002

ژبه:

english

فایل:

PDF, 12.35 MB

0 / 0

english, 2002

10

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

کال:

2000

ژبه:

english

فایل:

PDF, 3.26 MB

0 / 0

english, 2000

11

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

کال:

1997

ژبه:

english

فایل:

DJVU, 3.21 MB

0 / 0

english, 1997

12

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

کال:

2000

ژبه:

english

فایل:

PDF, 5.77 MB

0 / 0

english, 2000